x86/vMCE: bugfix of vmce injection
authorLiu Jinsong <jinsong.liu@intel.com>
Mon, 29 Apr 2013 09:27:11 +0000 (11:27 +0200)
committerJan Beulich <jbeulich@suse.com>
Mon, 29 Apr 2013 09:27:11 +0000 (11:27 +0200)
commit4d9d046ae7d0b0374ebbef987ef66819aa33983b
tree4596c6b2d5bb59fb1203cc6539e4680e3f5b76f2
parent3ed6d71247b6ef3c701654824f5b4c961eacfd61
x86/vMCE: bugfix of vmce injection

uint16_t is not suitable to store VMCE_INJECT_BROADCAST (which is
defined as -1).

Signed-off-by: Liu Jinsong <jinsong.liu@intel.com>
xen/arch/x86/cpu/mcheck/mcaction.c